Shortest Edit Script